[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 231, 233, 235, 237, 238, 240, 242, 247, 249, 251, 253, 254, 256, 262, 264, 266, 268, 270, 271, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 296, 297, 299 }

B grade: { 41, 42, 294, 295 }

C grade: { 230, 232, 234, 236, 239, 241, 243, 244, 245, 246, 248, 250, 252, 255, 257, 258, 259, 260, 261, 263, 265, 267, 269, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 298 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 11, 39, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 229, 231, 233, 236, 238, 240, 242, 247, 249, 250, 251, 252, 254, 256, 262, 264, 267, 269, 271 }

B grade: { 9, 10, 12, 13, 14, 15, 16, 40, 41, 42, 228, 230, 232, 234, 239, 241, 243, 245, 246, 248, 255, 257, 259, 261, 263, 265, 272, 274, 276, 278, 287 }

C grade: { 17, 18, 19, 20, 21, 22, 23, 24, 55, 56, 57, 58, 59, 60, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 235, 237, 244, 253, 258, 260, 266, 268, 270, 273, 275, 277, 279 }

F grade: { 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 68, 69, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 280, 281, 282, 283, 284, 285, 286, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 42, 43, 44, 45, 46, 50, 51, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 135, 137, 138, 139, 140, 141, 145, 147, 148, 149, 150, 151, 155, 157, 158, 159, 160, 164, 165, 166, 167, 171, 172, 173, 174, 175, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 228, 229, 287, 288, 289 }

B grade: { 47, 48, 49, 132, 133, 134, 136, 142, 143, 144, 146, 152, 153, 154, 156, 161, 162, 163, 168, 169, 170, 176, 177, 178 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 55, 56, 57, 58, 59, 60, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.5 FriCAS

A grade: { 2, 4, 5, 6, 7, 8, 39, 40, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 228, 229, 231, 233, 238, 240, 242, 247, 249, 254, 256, 262, 287, 288, 289 }

B grade: { 1, 3, 41, 42, 251, 264, 271 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 55, 56, 57, 58, 59, 60, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 230, 232, 234, 235, 236, 237, 239, 241, 243, 244, 245, 246, 248, 250, 252, 253, 255, 257, 258, 259, 260, 261, 263, 265, 266, 267, 268, 269, 270, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.6 Sympy

A grade: { 1, 43, 44, 45, 46, 51, 52, 53, 54, 137, 138, 139, 147, 164, 165, 166, 171, 172, 173, 174, 181 }

B grade: { }

C grade: { }

F grade: { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 47, 48, 49, 50, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 167, 168, 169, 170, 175, 176, 177, 178, 179, 180, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.7 Giac

A grade: { 2, 3, 4, 5, 6, 7, 8, 39, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 54, 61, 62, 63, 64, 65, 226 }

B grade: { 1, 40, 41, 42, 52, 223, 224, 225, 227, 229 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 55, 56, 57, 58, 59, 60, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 228, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 12, 20, 43, 51, 61, 62, 63, 64, 74, 133, 135, 137, 138, 139, 140, 141, 143, 145, 147, 148, 149, 150, 151, 152, 153, 155, 157, 158, 159, 160, 162, 164, 165, 166, 167, 169, 171, 172, 173, 174, 175, 177, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 228, 229, 231, 233, 238, 240, 242, 247, 249, 251, 254, 256, 262, 264, 271, 287, 288, 289 }

C grade: { }

F grade: { 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 44, 45, 46, 47, 48, 49, 50, 52, 53, 54, 55, 56, 57, 58, 59, 60, 65, 66, 67, 68, 69, 70, 71, 72, 73, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 134, 136, 142, 144, 146, 154, 156, 161, 163, 168, 170, 176, 178, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 230, 232, 234, 235, 236, 237, 239, 241, 243, 244, 245, 246, 248, 250, 252, 253, 255, 257, 258, 259, 260, 261, 263, 265, 266, 267, 268, 269, 270, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 19 18 28 36 44 11
normalized size 1 1.00 1.00 1.73 1.64 2.55 3.27 4.00 1.00
time (sec) N/A 0.004 0.002 0.028 0.405 0.752 1.925 1.911 0.397
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 11 10 18 0 10 10
normalized size 1 1.00 1.00 1.10 1.00 1.80 0.00 1.00 1.00
time (sec) N/A 0.009 0.004 0.540 0.720 0.905 0.000 0.965 0.098
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 38 46 61 0 48 36
normalized size 1 1.00 1.00 1.12 1.35 1.79 0.00 1.41 1.06
time (sec) N/A 0.014 0.010 0.560 0.475 0.807 0.000 2.935 0.111
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 23 24 22 31 0 22 21
normalized size 1 1.00 0.88 0.92 0.85 1.19 0.00 0.85 0.81
time (sec) N/A 0.011 0.047 0.518 0.329 0.766 0.000 1.386 0.077
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 42 57 71 74 0 63 58
normalized size 1 1.00 0.76 1.04 1.29 1.35 0.00 1.15 1.05
time (sec) N/A 0.025 0.076 0.538 0.351 0.870 0.000 0.561 0.124
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 35 34 34 41 0 34 31
normalized size 1 1.00 0.85 0.83 0.83 1.00 0.00 0.83 0.76
time (sec) N/A 0.015 0.110 0.523 0.422 0.822 0.000 0.461 0.089
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 52 76 91 84 0 73 79
normalized size 1 1.00 0.68 1.00 1.20 1.11 0.00 0.96 1.04
time (sec) N/A 0.039 0.135 0.532 0.430 0.900 0.000 0.359 0.158
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 43 44 44 51 0 44 39
normalized size 1 1.00 0.81 0.83 0.83 0.96 0.00 0.83 0.74
time (sec) N/A 0.017 0.186 0.516 0.341 0.895 0.000 0.785 0.082
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 59 358 0 0 0 0 -1
normalized size 1 1.00 0.69 4.21 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 0.172 5.094 0.000 0.777 0.000 0.000 0.000
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 46 213 0 0 0 0 -1
normalized size 1 1.00 0.74 3.44 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.027 0.059 3.073 0.000 0.800 0.000 0.000 0.000
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 45 101 0 0 0 0 -1
normalized size 1 1.00 0.78 1.74 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.037 3.227 0.000 0.595 0.000 0.000 0.000
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 133 0 0 0 0 33
normalized size 1 1.00 1.00 3.69 0.00 0.00 0.00 0.00 0.92
time (sec) N/A 0.017 0.020 2.433 0.000 0.775 0.000 0.000 0.126
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 133 0 0 0 0 -1
normalized size 1 1.00 1.00 3.69 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.017 0.026 2.403 0.000 0.595 0.000 0.000 0.000
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 49 179 0 0 0 0 -1
normalized size 1 1.00 0.79 2.89 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.028 0.044 2.851 0.000 0.566 0.000 0.000 0.000
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 55 202 0 0 0 0 -1
normalized size 1 1.00 0.89 3.26 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.029 0.062 2.987 0.000 0.634 0.000 0.000 0.000
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 61 199 0 0 0 0 -1
normalized size 1 1.00 0.72 2.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.101 3.018 0.000 0.693 0.000 0.000 0.000
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 62 354 0 0 0 0 -1
normalized size 1 1.00 0.63 3.61 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.170 1.007 0.000 0.823 0.000 0.000 0.000
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 51 128 0 0 0 0 -1
normalized size 1 1.00 0.73 1.83 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 0.070 0.836 0.000 0.685 0.000 0.000 0.000
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 48 322 0 0 0 0 -1
normalized size 1 1.00 0.73 4.88 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.040 0.041 0.982 0.000 0.943 0.000 0.000 0.000
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 98 0 0 0 0 35
normalized size 1 1.00 1.00 2.58 0.00 0.00 0.00 0.00 0.92
time (sec) N/A 0.019 0.021 0.915 0.000 0.680 0.000 0.000 0.196
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 306 0 0 0 0 -1
normalized size 1 1.00 1.00 8.05 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.027 0.030 1.059 0.000 0.783 0.000 0.000 0.000
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 59 131 0 0 0 0 -1
normalized size 1 1.00 0.82 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.046 0.060 0.817 0.000 0.629 0.000 0.000 0.000
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 60 321 0 0 0 0 -1
normalized size 1 1.00 0.83 4.46 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.074 0.973 0.000 0.886 0.000 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 66 153 0 0 0 0 -1
normalized size 1 1.00 0.66 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.102 0.939 0.000 0.761 0.000 0.000 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 55 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.051 0.634 0.000 0.894 0.000 0.000 0.000
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 55 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.028 0.037 0.611 0.000 0.772 0.000 0.000 0.000
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.033 0.039 0.675 0.000 0.719 0.000 0.000 0.000
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.084 0.553 0.000 0.682 0.000 0.000 0.000
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 55 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.084 0.599 0.000 0.730 0.000 0.000 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 55 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.068 0.538 0.000 0.756 0.000 0.000 0.000
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 57 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.034 0.046 0.536 0.000 0.541 0.000 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 57 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.030 0.043 0.594 0.000 0.648 0.000 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.035 0.042 0.745 0.000 0.526 0.000 0.000 0.000
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.032 0.055 0.532 0.000 0.817 0.000 0.000 0.000
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.028 0.055 0.538 0.000 0.898 0.000 0.000 0.000
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.029 0.072 0.447 0.000 0.735 0.000 0.000 0.000
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 61 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.053 1.458 0.000 0.868 0.000 0.000 0.000
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 61 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 0.046 1.317 0.000 0.818 0.000 0.000 0.000
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 74 72 42 49 0 59 -1
normalized size 1 1.00 1.48 1.44 0.84 0.98 0.00 1.18 -0.02
time (sec) N/A 0.017 0.304 0.437 0.895 0.442 0.000 0.994 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 68 64 30 43 0 53 -1
normalized size 1 1.00 1.89 1.78 0.83 1.19 0.00 1.47 -0.03
time (sec) N/A 0.012 0.158 0.353 0.589 0.713 0.000 0.430 0.000
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 52 55 18 34 0 44 -1
normalized size 1 1.00 2.36 2.50 0.82 1.55 0.00 2.00 -0.05
time (sec) N/A 0.009 0.063 0.292 0.763 0.805 0.000 0.345 0.000
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 3 3 44 21 3 17 0 35 -1
normalized size 1 1.00 14.67 7.00 1.00 5.67 0.00 11.67 -0.33
time (sec) N/A 0.006 0.010 0.367 0.458 0.486 0.000 0.731 0.000
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 11 11 11 14 11 4 10 6 12
normalized size 1 1.00 1.00 1.27 1.00 0.36 0.91 0.55 1.09
time (sec) N/A 0.007 0.007 0.397 0.522 0.756 0.403 0.315 0.159
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 23 21 25 10 27 16 -1
normalized size 1 1.00 0.79 0.72 0.86 0.34 0.93 0.55 -0.03
time (sec) N/A 0.011 0.015 0.341 0.482 0.634 1.046 0.497 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 31 29 37 18 44 25 -1
normalized size 1 1.00 0.72 0.67 0.86 0.42 1.02 0.58 -0.02
time (sec) N/A 0.015 0.026 0.316 0.418 0.631 10.677 0.426 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 37 35 49 24 60 34 -1
normalized size 1 1.00 0.65 0.61 0.86 0.42 1.05 0.60 -0.02
time (sec) N/A 0.019 0.040 0.362 0.337 0.536 147.491 0.434 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 78 74 2175 65 0 79 -1
normalized size 1 1.00 0.93 0.88 25.89 0.77 0.00 0.94 -0.01
time (sec) N/A 0.041 0.140 0.448 3.536 0.477 0.000 0.331 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 72 66 1111 56 0 67 -1
normalized size 1 1.00 1.11 1.02 17.09 0.86 0.00 1.03 -0.02
time (sec) N/A 0.031 0.132 0.360 1.000 0.826 0.000 0.410 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 55 57 324 39 0 42 -1
normalized size 1 1.00 1.20 1.24 7.04 0.85 0.00 0.91 -0.02
time (sec) N/A 0.022 0.054 0.297 1.028 0.668 0.000 0.598 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 46 23 38 55 0 31 -1
normalized size 1 1.00 1.84 0.92 1.52 2.20 0.00 1.24 -0.04
time (sec) N/A 0.015 0.009 0.385 0.888 0.637 0.000 0.334 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 13 16 6 16 15 11 15
normalized size 1 1.00 1.00 1.23 0.46 1.23 1.15 0.85 1.15
time (sec) N/A 0.029 0.006 0.396 0.915 0.618 0.509 0.403 0.211
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 27 23 14 24 37 58 -1
normalized size 1 1.00 0.75 0.64 0.39 0.67 1.03 1.61 -0.03
time (sec) N/A 0.018 0.020 0.299 1.002 0.562 1.179 0.605 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 36 31 22 32 60 84 -1
normalized size 1 1.00 0.65 0.56 0.40 0.58 1.09 1.53 -0.02
time (sec) N/A 0.027 0.030 0.311 0.679 0.809 10.569 0.540 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 42 37 28 38 80 110 -1
normalized size 1 1.00 0.57 0.50 0.38 0.51 1.08 1.49 -0.01
time (sec) N/A 0.035 0.030 0.339 0.563 0.732 150.570 0.700 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 59 223 0 0 0 0 -1
normalized size 1 1.00 0.50 1.91 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.052 0.101 0.758 0.000 0.829 0.000 0.000 0.000
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 43 87 0 0 0 0 -1
normalized size 1 1.00 0.66 1.34 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.035 0.039 0.549 0.000 0.702 0.000 0.000 0.000
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 32 191 0 0 0 0 -1
normalized size 1 1.00 0.76 4.55 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.019 0.706 0.000 0.550 0.000 0.000 0.000
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 31 76 0 0 0 0 -1
normalized size 1 1.00 0.70 1.73 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.027 0.043 0.577 0.000 0.567 0.000 0.000 0.000
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 43 198 0 0 0 0 -1
normalized size 1 1.00 0.59 2.71 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 0.102 0.546 0.000 0.516 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 59 114 0 0 0 0 -1
normalized size 1 1.00 0.50 0.97 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.103 0.523 0.000 0.580 0.000 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 54 53 61 76 0 67 589
normalized size 1 1.00 0.33 0.33 0.37 0.47 0.00 0.41 3.61
time (sec) N/A 0.039 0.179 0.557 1.136 0.680 0.000 0.410 4.684
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 42 41 43 58 0 49 119
normalized size 1 1.00 0.36 0.35 0.37 0.50 0.00 0.42 1.02
time (sec) N/A 0.030 0.100 0.360 0.753 0.629 0.000 0.899 2.355
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 30 29 25 34 0 22 36
normalized size 1 1.00 0.49 0.48 0.41 0.56 0.00 0.36 0.59
time (sec) N/A 0.022 0.063 0.295 0.440 0.603 0.000 0.743 0.562
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 6 13 0 6 6
normalized size 1 1.00 1.00 0.93 0.40 0.87 0.00 0.40 0.40
time (sec) N/A 0.016 0.006 0.395 0.700 0.582 0.000 0.699 0.111
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 23 22 25 27 0 39 -1
normalized size 1 1.00 0.64 0.61 0.69 0.75 0.00 1.08 -0.03
time (sec) N/A 0.015 0.025 0.413 0.652 0.682 0.000 0.446 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 38 41 58 43 0 0 -1
normalized size 1 1.00 0.44 0.48 0.67 0.50 0.00 0.00 -0.01
time (sec) N/A 0.032 0.043 0.378 0.694 0.673 0.000 0.000 0.000
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 55 57 88 55 0 0 -1
normalized size 1 1.00 0.42 0.43 0.67 0.42 0.00 0.00 -0.01
time (sec) N/A 0.051 0.091 0.597 0.694 0.675 0.000 0.000 0.000
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 69 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.053 0.100 1.832 0.000 0.863 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 71 0 0 0 0 0 -1
normalized size 1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.050 0.078 1.656 0.000 0.888 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 69 152 0 0 0 0 -1
normalized size 1 1.00 0.71 1.57 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.217 1.201 0.000 0.668 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 69 356 0 0 0 0 -1
normalized size 1 1.00 0.73 3.75 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.061 0.175 0.915 0.000 0.897 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 51 130 0 0 0 0 -1
normalized size 1 1.00 0.74 1.88 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.042 0.087 0.786 0.000 0.621 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 47 314 0 0 0 0 -1
normalized size 1 1.00 0.75 4.98 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.041 0.052 0.915 0.000 0.990 0.000 0.000 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 98 0 0 0 0 35
normalized size 1 1.00 1.00 2.58 0.00 0.00 0.00 0.00 0.92
time (sec) N/A 0.020 0.022 0.812 0.000 0.702 0.000 0.000 0.232
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 39 303 0 0 0 0 -1
normalized size 1 1.00 1.00 7.77 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.030 0.037 0.874 0.000 0.624 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 51 123 0 0 0 0 -1
normalized size 1 1.00 0.76 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.052 0.057 0.894 0.000 0.751 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 57 315 0 0 0 0 -1
normalized size 1 1.00 0.81 4.50 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.065 0.961 0.000 0.767 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 63 145 0 0 0 0 -1
normalized size 1 1.00 0.66 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 0.093 1.000 0.000 1.145 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 71 325 0 0 0 0 -1
normalized size 1 1.00 0.72 3.32 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.251 0.940 0.000 0.800 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 64 152 0 0 0 0 -1
normalized size 1 1.00 0.67 1.60 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.187 0.768 0.000 0.641 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 64 356 0 0 0 0 -1
normalized size 1 1.00 0.65 3.63 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.177 0.762 0.000 0.665 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 49 122 0 0 0 0 -1
normalized size 1 1.00 0.73 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.078 0.663 0.000 0.716 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 48 320 0 0 0 0 -1
normalized size 1 1.00 0.73 4.85 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.034 0.034 0.844 0.000 0.796 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 39 98 0 0 0 0 -1
normalized size 1 1.00 1.00 2.51 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.030 0.020 0.746 0.000 0.582 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 309 0 0 0 0 -1
normalized size 1 1.00 1.00 7.54 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.022 0.770 0.000 0.784 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 52 129 0 0 0 0 -1
normalized size 1 1.00 0.74 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.054 0.049 0.824 0.000 0.654 0.000 0.000 0.000
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 58 319 0 0 0 0 -1
normalized size 1 1.00 0.81 4.43 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.054 0.049 0.843 0.000 0.700 0.000 0.000 0.000
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 64 151 0 0 0 0 -1
normalized size 1 1.00 0.65 1.54 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.073 0.077 0.944 0.000 0.650 0.000 0.000 0.000
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 72 331 0 0 0 0 -1
normalized size 1 1.00 0.72 3.31 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.075 0.155 0.946 0.000 0.601 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 61 152 0 0 0 0 -1
normalized size 1 1.00 0.62 1.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.193 0.805 0.000 0.732 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 61 348 0 0 0 0 -1
normalized size 1 1.00 0.63 3.59 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 0.181 0.823 0.000 0.611 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 51 128 0 0 0 0 -1
normalized size 1 1.00 0.73 1.83 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.032 0.018 0.786 0.000 0.706 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 50 324 0 0 0 0 -1
normalized size 1 1.00 0.74 4.76 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.045 0.024 0.957 0.000 0.579 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0 -1
normalized size 1 1.00 1.00 2.39 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.017 0.813 0.000 0.922 0.000 0.000 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 38 311 0 0 0 0 -1
normalized size 1 1.00 0.93 7.59 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.043 0.820 0.000 0.878 0.000 0.000 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 54 131 0 0 0 0 -1
normalized size 1 1.00 0.75 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.054 0.824 0.000 0.497 0.000 0.000 0.000
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 60 321 0 0 0 0 -1
normalized size 1 1.00 0.83 4.46 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.054 0.053 0.945 0.000 0.645 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 66 153 0 0 0 0 -1
normalized size 1 1.00 0.66 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.078 0.974 0.000 1.390 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 74 333 0 0 0 0 -1
normalized size 1 1.00 0.74 3.33 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 0.182 1.033 0.000 0.768 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 62 354 0 0 0 0 -1
normalized size 1 1.00 0.63 3.61 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 0.089 0.915 0.000 0.797 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 69 152 0 0 0 0 -1
normalized size 1 1.00 0.69 1.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 0.087 0.992 0.000 0.544 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 61 356 0 0 0 0 -1
normalized size 1 1.00 0.63 3.67 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.238 1.050 0.000 0.689 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 51 130 0 0 0 0 -1
normalized size 1 1.00 0.71 1.81 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.077 0.892 0.000 1.575 0.000 0.000 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 48 319 0 0 0 0 -1
normalized size 1 1.00 0.74 4.91 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.040 0.081 0.963 0.000 0.688 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0 -1
normalized size 1 1.00 1.00 2.39 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.021 0.017 0.846 0.000 0.611 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 306 0 0 0 0 -1
normalized size 1 1.00 1.00 8.05 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.019 0.016 0.905 0.000 0.637 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 60 126 0 0 0 0 -1
normalized size 1 1.00 0.87 1.83 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.043 0.075 1.020 0.000 0.649 0.000 0.000 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 60 318 0 0 0 0 -1
normalized size 1 1.00 0.90 4.75 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.088 1.168 0.000 0.551 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 66 148 0 0 0 0 -1
normalized size 1 1.00 0.68 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.088 0.978 0.000 0.770 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 70 328 0 0 0 0 -1
normalized size 1 1.00 0.74 3.45 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.196 0.986 0.000 0.675 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 69 152 0 0 0 0 -1
normalized size 1 1.00 0.69 1.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.059 0.173 0.893 0.000 0.645 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 64 356 0 0 0 0 -1
normalized size 1 1.00 0.64 3.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.056 0.964 0.000 0.635 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 56 125 0 0 0 0 -1
normalized size 1 1.00 0.78 1.74 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.094 0.862 0.000 0.592 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 51 324 0 0 0 0 -1
normalized size 1 1.00 0.75 4.76 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.058 1.019 0.000 0.569 0.000 0.000 0.000
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0 -1
normalized size 1 1.00 1.00 2.39 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.023 0.738 0.000 0.665 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 311 0 0 0 0 -1
normalized size 1 1.00 1.00 7.59 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.022 0.033 0.778 0.000 0.544 0.000 0.000 0.000
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 59 131 0 0 0 0 -1
normalized size 1 1.00 0.82 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.033 0.049 0.789 0.000 0.844 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 60 323 0 0 0 0 -1
normalized size 1 1.00 0.87 4.68 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.045 0.031 0.953 0.000 0.604 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 66 153 0 0 0 0 -1
normalized size 1 1.00 0.67 1.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 0.099 0.897 0.000 0.822 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 73 333 0 0 0 0 -1
normalized size 1 1.00 0.75 3.43 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.082 0.978 0.000 0.643 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 64 152 0 0 0 0 -1
normalized size 1 1.00 0.64 1.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.057 0.145 0.899 0.000 0.662 0.000 0.000 0.000
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 64 351 0 0 0 0 -1
normalized size 1 1.00 0.64 3.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.058 0.117 1.029 0.000 0.570 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 51 130 0 0 0 0 -1
normalized size 1 1.00 0.71 1.81 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.069 0.879 0.000 0.730 0.000 0.000 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 51 324 0 0 0 0 -1
normalized size 1 1.00 0.75 4.76 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.054 1.059 0.000 0.630 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0 -1
normalized size 1 1.00 1.00 2.39 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.022 0.016 0.765 0.000 0.545 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 38 311 0 0 0 0 -1
normalized size 1 1.00 0.93 7.59 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.023 0.038 0.748 0.000 0.502 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 62 131 0 0 0 0 -1
normalized size 1 1.00 0.86 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.033 0.742 0.000 0.631 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 60 321 0 0 0 0 -1
normalized size 1 1.00 0.83 4.46 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 0.019 0.832 0.000 0.673 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 66 153 0 0 0 0 -1
normalized size 1 1.00 0.68 1.58 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.063 0.041 0.836 0.000 0.777 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 73 333 0 0 0 0 -1
normalized size 1 1.00 0.74 3.40 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.072 0.126 0.938 0.000 0.683 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 66 153 0 0 0 0 -1
normalized size 1 1.00 0.66 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.051 0.021 0.898 0.000 0.884 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 64 131 1656 229 0 0 -1
normalized size 1 1.00 0.60 1.22 15.48 2.14 0.00 0.00 -0.01
time (sec) N/A 0.033 0.150 1.199 1.058 0.668 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 52 294 43 0 0 126
normalized size 1 1.00 0.64 0.74 4.20 0.61 0.00 0.00 1.80
time (sec) N/A 0.017 0.093 1.069 0.830 0.628 0.000 0.000 2.548
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 50 114 661 199 0 0 -1
normalized size 1 1.00 0.69 1.58 9.18 2.76 0.00 0.00 -0.01
time (sec) N/A 0.019 0.058 1.068 0.967 0.770 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 39 54 30 0 0 46
normalized size 1 1.00 1.00 1.22 1.69 0.94 0.00 0.00 1.44
time (sec) N/A 0.012 0.019 1.076 1.053 0.815 0.000 0.000 0.288
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 52 65 111 0 0 -1
normalized size 1 1.00 1.00 1.58 1.97 3.36 0.00 0.00 -0.03
time (sec) N/A 0.007 0.013 0.977 1.025 0.693 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 32 26 98 5 0 24
normalized size 1 1.00 1.00 1.33 1.08 4.08 0.21 0.00 1.00
time (sec) N/A 0.002 0.016 1.034 0.501 0.601 0.584 0.000 0.204
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 41 13 30 36 0 32
normalized size 1 1.00 1.00 1.28 0.41 0.94 1.12 0.00 1.00
time (sec) N/A 0.007 0.038 1.157 0.629 0.667 13.387 0.000 0.225
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 45 54 25 158 82 0 41
normalized size 1 1.00 0.71 0.86 0.40 2.51 1.30 0.00 0.65
time (sec) N/A 0.014 0.071 1.297 0.795 0.784 110.948 0.000 0.439
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 52 42 48 0 0 45
normalized size 1 1.00 0.64 0.74 0.60 0.69 0.00 0.00 0.64
time (sec) N/A 0.016 0.116 1.387 1.047 0.876 0.000 0.000 0.522
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 55 74 49 202 0 0 52
normalized size 1 1.00 0.56 0.76 0.50 2.06 0.00 0.00 0.53
time (sec) N/A 0.025 0.120 1.361 0.782 0.684 0.000 0.000 0.706
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 64 131 1742 236 0 0 -1
normalized size 1 1.00 0.58 1.19 15.84 2.15 0.00 0.00 -0.01
time (sec) N/A 0.035 0.117 0.940 1.184 0.824 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 45 52 299 44 0 0 127
normalized size 1 1.00 0.62 0.72 4.15 0.61 0.00 0.00 1.76
time (sec) N/A 0.017 0.093 0.877 1.002 0.819 0.000 0.000 1.361
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 50 114 691 202 0 0 -1
normalized size 1 1.00 0.68 1.54 9.34 2.73 0.00 0.00 -0.01
time (sec) N/A 0.021 0.065 0.904 0.920 0.853 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 32 39 54 31 0 0 47
normalized size 1 1.00 0.97 1.18 1.64 0.94 0.00 0.00 1.42
time (sec) N/A 0.011 0.021 1.011 0.729 0.659 0.000 0.000 0.217
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 33 52 68 112 0 0 -1
normalized size 1 1.00 0.97 1.53 2.00 3.29 0.00 0.00 -0.03
time (sec) N/A 0.007 0.019 1.277 0.781 1.097 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 24 32 26 99 5 0 25
normalized size 1 1.00 0.96 1.28 1.04 3.96 0.20 0.00 1.00
time (sec) N/A 0.003 0.026 0.984 0.774 0.794 18.080 0.000 0.196
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 32 41 13 31 0 0 33
normalized size 1 1.00 0.97 1.24 0.39 0.94 0.00 0.00 1.00
time (sec) N/A 0.007 0.047 1.105 0.687 0.651 0.000 0.000 0.245
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 45 54 28 161 0 0 42
normalized size 1 1.00 0.69 0.83 0.43 2.48 0.00 0.00 0.65
time (sec) N/A 0.015 0.082 1.191 0.669 0.847 0.000 0.000 0.431
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 45 52 45 51 0 0 46
normalized size 1 1.00 0.62 0.72 0.62 0.71 0.00 0.00 0.64
time (sec) N/A 0.017 0.144 1.099 0.737 0.437 0.000 0.000 0.435
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 55 74 53 207 0 0 53
normalized size 1 1.00 0.54 0.73 0.52 2.05 0.00 0.00 0.52
time (sec) N/A 0.028 0.164 1.187 1.020 0.732 0.000 0.000 0.590
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 57 62 705 63 0 0 205
normalized size 1 1.00 0.49 0.53 6.08 0.54 0.00 0.00 1.77
time (sec) N/A 0.024 0.225 0.942 1.177 0.552 0.000 0.000 4.700
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 52 311 48 0 0 129
normalized size 1 1.00 0.59 0.68 4.09 0.63 0.00 0.00 1.70
time (sec) N/A 0.017 0.089 0.947 0.667 0.533 0.000 0.000 1.367
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 50 114 747 208 0 0 -1
normalized size 1 1.00 0.64 1.46 9.58 2.67 0.00 0.00 -0.01
time (sec) N/A 0.020 0.080 0.957 0.938 0.599 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 39 54 33 0 0 66
normalized size 1 1.00 0.91 1.11 1.54 0.94 0.00 0.00 1.89
time (sec) N/A 0.012 0.031 1.090 1.196 0.721 0.000 0.000 0.725
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 33 52 72 114 0 0 -1
normalized size 1 1.00 0.92 1.44 2.00 3.17 0.00 0.00 -0.03
time (sec) N/A 0.008 0.034 0.961 1.043 0.615 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 24 32 26 101 0 0 27
normalized size 1 1.00 0.89 1.19 0.96 3.74 0.00 0.00 1.00
time (sec) N/A 0.003 0.020 1.015 0.763 0.845 0.000 0.000 0.116
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 41 13 33 0 0 35
normalized size 1 1.00 0.91 1.17 0.37 0.94 0.00 0.00 1.00
time (sec) N/A 0.007 0.069 1.126 0.991 0.751 0.000 0.000 0.328
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 54 32 167 0 0 44
normalized size 1 1.00 0.65 0.78 0.46 2.42 0.00 0.00 0.64
time (sec) N/A 0.015 0.112 0.980 0.691 0.826 0.000 0.000 0.368
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 52 49 55 0 0 48
normalized size 1 1.00 0.59 0.68 0.64 0.72 0.00 0.00 0.63
time (sec) N/A 0.017 0.167 0.969 0.876 0.737 0.000 0.000 0.499
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 50 114 661 205 0 0 -1
normalized size 1 1.00 0.69 1.58 9.18 2.85 0.00 0.00 -0.01
time (sec) N/A 0.019 0.061 0.867 1.075 0.715 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 39 59 33 0 0 51
normalized size 1 1.00 1.00 1.22 1.84 1.03 0.00 0.00 1.59
time (sec) N/A 0.011 0.021 0.817 0.962 0.440 0.000 0.000 0.269
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 52 65 114 0 0 -1
normalized size 1 1.00 1.00 1.58 1.97 3.45 0.00 0.00 -0.03
time (sec) N/A 0.007 0.014 0.832 1.068 0.637 0.000 0.000 0.000
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 32 26 101 5 0 27
normalized size 1 1.00 1.00 1.33 1.08 4.21 0.21 0.00 1.12
time (sec) N/A 0.002 0.012 0.746 0.525 0.831 9.464 0.000 0.296
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 41 13 33 36 0 35
normalized size 1 1.00 1.00 1.28 0.41 1.03 1.12 0.00 1.09
time (sec) N/A 0.007 0.031 0.937 0.940 0.790 19.620 0.000 0.313
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 45 54 25 165 82 0 44
normalized size 1 1.00 0.71 0.86 0.40 2.62 1.30 0.00 0.70
time (sec) N/A 0.014 0.064 0.941 0.946 0.613 30.226 0.000 0.428
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 45 52 42 51 0 0 48
normalized size 1 1.00 0.64 0.74 0.60 0.73 0.00 0.00 0.69
time (sec) N/A 0.016 0.089 1.049 0.666 0.674 0.000 0.000 0.516
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 50 114 670 205 0 0 -1
normalized size 1 1.00 0.64 1.46 8.59 2.63 0.00 0.00 -0.01
time (sec) N/A 0.020 0.062 0.821 0.771 0.950 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 39 67 33 0 0 51
normalized size 1 1.00 0.91 1.11 1.91 0.94 0.00 0.00 1.46
time (sec) N/A 0.012 0.037 0.817 0.847 0.677 0.000 0.000 0.266
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 33 52 65 114 0 0 -1
normalized size 1 1.00 0.92 1.44 1.81 3.17 0.00 0.00 -0.03
time (sec) N/A 0.007 0.027 0.749 0.867 0.706 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 24 32 26 101 5 0 27
normalized size 1 1.00 0.89 1.19 0.96 3.74 0.19 0.00 1.00
time (sec) N/A 0.003 0.026 0.759 0.713 0.997 26.545 0.000 0.252
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 41 13 33 36 0 39
normalized size 1 1.00 0.91 1.17 0.37 0.94 1.03 0.00 1.11
time (sec) N/A 0.008 0.043 0.861 1.036 0.729 15.078 0.000 0.422
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 54 25 165 82 0 44
normalized size 1 1.00 0.65 0.78 0.36 2.39 1.19 0.00 0.64
time (sec) N/A 0.014 0.069 0.982 0.884 0.635 29.988 0.000 0.369
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 45 52 42 51 65 0 48
normalized size 1 1.00 0.59 0.68 0.55 0.67 0.86 0.00 0.63
time (sec) N/A 0.017 0.098 1.024 0.723 0.709 121.592 0.000 0.327
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 55 74 49 208 0 0 55
normalized size 1 1.00 0.51 0.69 0.46 1.94 0.00 0.00 0.51
time (sec) N/A 0.027 0.121 1.033 0.972 0.724 0.000 0.000 0.615
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 53 114 688 205 0 0 -1
normalized size 1 1.00 0.68 1.46 8.82 2.63 0.00 0.00 -0.01
time (sec) N/A 0.020 0.048 0.816 0.837 0.936 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 32 39 67 33 0 0 51
normalized size 1 1.00 0.91 1.11 1.91 0.94 0.00 0.00 1.46
time (sec) N/A 0.012 0.033 0.832 0.721 0.546 0.000 0.000 0.263
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 33 52 65 114 0 0 -1
normalized size 1 1.00 0.92 1.44 1.81 3.17 0.00 0.00 -0.03
time (sec) N/A 0.008 0.022 0.783 0.904 0.972 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 24 32 26 101 0 0 27
normalized size 1 1.00 0.89 1.19 0.96 3.74 0.00 0.00 1.00
time (sec) N/A 0.003 0.020 0.809 0.823 0.948 0.000 0.000 0.323
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 35 41 13 33 0 0 39
normalized size 1 1.00 1.00 1.17 0.37 0.94 0.00 0.00 1.11
time (sec) N/A 0.007 0.026 0.842 0.904 0.764 0.000 0.000 0.392
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 48 54 25 165 82 0 64
normalized size 1 1.00 0.70 0.78 0.36 2.39 1.19 0.00 0.93
time (sec) N/A 0.015 0.052 0.910 0.965 0.934 110.564 0.000 0.628
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 48 52 42 51 0 0 48
normalized size 1 1.00 0.63 0.68 0.55 0.67 0.00 0.00 0.63
time (sec) N/A 0.017 0.067 1.131 1.037 0.706 0.000 0.000 0.422
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 58 74 49 208 0 0 55
normalized size 1 1.00 0.54 0.69 0.46 1.94 0.00 0.00 0.51
time (sec) N/A 0.028 0.058 1.120 1.139 0.678 0.000 0.000 0.459
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.033 0.072 0.519 0.000 0.656 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 60 0 0 0 0 0 -1
normalized size 1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.031 0.048 0.433 0.000 0.695 0.000 0.000 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.042 0.542 0.000 0.595 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.065 0.585 0.000 0.542 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 59 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.043 0.152 1.059 0.000 0.829 0.000 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.031 0.077 0.435 0.000 0.829 0.000 0.000 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 60 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.030 0.052 0.432 0.000 0.619 0.000 0.000 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 57 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.027 0.006 0.441 0.000 0.639 0.000 0.000 0.000
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 56 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.006 0.637 0.000 0.686 0.000 0.000 0.000
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.046 0.012 1.147 0.000 0.645 0.000 0.000 0.000
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.031 0.057 0.373 0.000 0.721 0.000 0.000 0.000
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 60 0 0 0 0 0 -1
normalized size 1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.031 0.046 0.444 0.000 0.572 0.000 0.000 0.000
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.025 0.053 0.449 0.000 0.616 0.000 0.000 0.000
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.084 0.451 0.000 0.695 0.000 0.000 0.000
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 0.068 0.934 0.000 0.680 0.000 0.000 0.000
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 60 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.031 0.008 0.439 0.000 0.869 0.000 0.000 0.000
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 58 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.030 0.014 0.427 0.000 1.017 0.000 0.000 0.000
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.026 0.004 0.380 0.000 0.725 0.000 0.000 0.000
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.018 0.446 0.000 0.776 0.000 0.000 0.000
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.047 0.087 1.027 0.000 0.865 0.000 0.000 0.000
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 83 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.095 0.829 0.000 0.834 0.000 0.000 0.000
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.142 0.734 0.000 0.536 0.000 0.000 0.000
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.139 0.727 0.000 0.737 0.000 0.000 0.000
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.135 0.675 0.000 0.749 0.000 0.000 0.000
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.041 0.136 0.582 0.000 0.735 0.000 0.000 0.000
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 83 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.043 0.179 0.635 0.000 0.732 0.000 0.000 0.000
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 76 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.068 2.425 0.000 0.704 0.000 0.000 0.000
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 71 0 0 0 0 0 -1
normalized size 1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.044 0.049 1.469 0.000 0.579 0.000 0.000 0.000
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 65 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.038 1.692 0.000 0.748 0.000 0.000 0.000
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 61 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.034 0.045 1.069 0.000 0.756 0.000 0.000 0.000
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 68 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.049 0.097 2.382 0.000 0.865 0.000 0.000 0.000
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 71 0 0 0 0 0 -1
normalized size 1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.055 0.077 4.023 0.000 0.904 0.000 0.000 0.000
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 73 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.107 6.418 0.000 0.926 0.000 0.000 0.000
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.099 0.885 0.000 0.952 0.000 0.000 0.000
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.091 1.007 0.000 0.660 0.000 0.000 0.000
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.099 0.887 0.000 0.888 0.000 0.000 0.000
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.113 0.880 0.000 1.028 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.040 0.137 0.969 0.000 0.754 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.039 0.173 0.987 0.000 1.000 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 17 23 28 0 154 77
normalized size 1 1.00 1.00 0.85 1.15 1.40 0.00 7.70 3.85
time (sec) N/A 0.035 0.058 0.137 0.722 0.876 0.000 1.645 1.591
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 17 23 28 0 111 39
normalized size 1 1.00 1.00 0.85 1.15 1.40 0.00 5.55 1.95
time (sec) N/A 0.036 0.042 0.122 0.390 0.762 0.000 1.592 0.252
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 17 23 18 0 62 18
normalized size 1 1.00 1.00 0.94 1.28 1.00 0.00 3.44 1.00
time (sec) N/A 0.036 0.033 0.122 0.614 0.965 0.000 1.492 0.096
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 17 23 23 0 22 23
normalized size 1 1.00 1.00 0.94 1.28 1.28 0.00 1.22 1.28
time (sec) N/A 0.033 0.037 0.187 0.470 0.645 0.000 0.317 0.235
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 17 23 28 0 35 28
normalized size 1 1.00 1.00 0.85 1.15 1.40 0.00 1.75 1.40
time (sec) N/A 0.033 0.052 0.150 0.377 0.733 0.000 1.758 0.243
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 32 357 36 42 0 0 50
normalized size 1 1.00 0.78 8.71 0.88 1.02 0.00 0.00 1.22
time (sec) N/A 0.049 0.223 0.909 0.640 0.796 0.000 0.000 0.588
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 42 36 38 44 0 257 95
normalized size 1 1.00 0.98 0.84 0.88 1.02 0.00 5.98 2.21
time (sec) N/A 0.049 0.108 0.676 0.344 0.910 0.000 1.831 4.337
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 122 534 0 0 0 0 -1
normalized size 1 1.00 0.95 4.17 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.204 1.506 1.278 0.000 0.919 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 56 54 0 67 0 0 85
normalized size 1 1.00 0.81 0.78 0.00 0.97 0.00 0.00 1.23
time (sec) N/A 0.097 0.120 1.194 0.000 0.889 0.000 0.000 1.338
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 109 281 0 0 0 0 -1
normalized size 1 1.00 1.17 3.02 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 0.886 1.229 0.000 0.835 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 42 0 36 0 0 36
normalized size 1 1.00 1.00 1.35 0.00 1.16 0.00 0.00 1.16
time (sec) N/A 0.049 0.066 1.222 0.000 0.783 0.000 0.000 0.366
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 68 155 0 0 0 0 -1
normalized size 1 1.00 1.28 2.92 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.093 0.675 1.415 0.000 0.804 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 270 270 171 275 0 0 0 0 -1
normalized size 1 1.00 0.63 1.02 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.140 1.368 1.004 0.000 0.000 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 80 186 0 0 0 0 -1
normalized size 1 1.00 0.86 2.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.147 0.692 1.022 0.000 1.421 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 222 514 0 0 0 0 -1
normalized size 1 1.00 0.69 1.60 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.212 1.822 1.104 0.000 0.000 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 57 64 0 85 0 0 110
normalized size 1 1.00 0.55 0.62 0.00 0.82 0.00 0.00 1.06
time (sec) N/A 0.162 0.294 1.079 0.000 1.508 0.000 0.000 2.175
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 114 980 0 0 0 0 -1
normalized size 1 1.00 0.69 5.90 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.268 1.141 1.159 0.000 0.885 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 54 0 58 0 0 61
normalized size 1 1.00 0.65 0.78 0.00 0.84 0.00 0.00 0.88
time (sec) N/A 0.103 0.142 1.036 0.000 0.961 0.000 0.000 0.759
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 99 498 0 0 0 0 -1
normalized size 1 1.00 0.79 3.98 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.205 0.519 1.146 0.000 1.019 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 31 42 0 36 0 0 36
normalized size 1 1.00 1.00 1.35 0.00 1.16 0.00 0.00 1.16
time (sec) N/A 0.048 0.065 1.148 0.000 0.574 0.000 0.000 0.304
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 66 497 0 0 0 0 -1
normalized size 1 1.00 0.74 5.58 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 0.376 1.091 0.000 0.602 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 327 64 646 0 0 0 0 -1
normalized size 1 1.00 0.20 1.98 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.219 0.248 1.062 0.000 0.000 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 69 512 0 0 0 0 -1
normalized size 1 1.00 0.73 5.45 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.153 0.415 1.013 0.000 0.815 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 92 555 0 0 0 0 -1
normalized size 1 1.00 0.55 3.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.265 1.455 1.194 0.000 0.636 0.000 0.000 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 57 64 0 89 0 0 112
normalized size 1 1.00 0.54 0.60 0.00 0.84 0.00 0.00 1.06
time (sec) N/A 0.162 0.193 1.124 0.000 0.966 0.000 0.000 2.319
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 87 300 0 0 0 0 -1
normalized size 1 1.00 0.66 2.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.204 0.693 1.164 0.000 0.670 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 54 0 58 0 0 64
normalized size 1 1.00 0.65 0.78 0.00 0.84 0.00 0.00 0.93
time (sec) N/A 0.102 0.214 1.042 0.000 0.842 0.000 0.000 0.835
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 68 188 0 0 0 0 -1
normalized size 1 1.00 0.73 2.02 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.141 0.602 1.251 0.000 0.511 0.000 0.000 0.000
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 42 0 58 0 0 66
normalized size 1 1.00 1.00 1.27 0.00 1.76 0.00 0.00 2.00
time (sec) N/A 0.049 0.115 0.986 0.000 0.784 0.000 0.000 0.859
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 70 190 0 0 0 0 -1
normalized size 1 1.00 0.71 1.94 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.150 0.532 1.072 0.000 0.692 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 329 329 280 536 0 0 0 0 -1
normalized size 1 1.00 0.85 1.63 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.217 1.800 1.192 0.000 0.000 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 45 54 0 79 0 0 99
normalized size 1 1.00 0.65 0.78 0.00 1.14 0.00 0.00 1.43
time (sec) N/A 0.100 0.266 1.207 0.000 0.594 0.000 0.000 1.829
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 104 976 0 0 0 0 -1
normalized size 1 1.00 0.81 7.62 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.193 1.085 1.228 0.000 0.656 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 42 0 51 0 0 49
normalized size 1 1.00 1.00 1.27 0.00 1.55 0.00 0.00 1.48
time (sec) N/A 0.048 0.115 1.155 0.000 0.766 0.000 0.000 0.799
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 80 494 0 0 0 0 -1
normalized size 1 1.00 0.90 5.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.139 0.483 1.199 0.000 0.676 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 270 270 55 316 0 0 0 0 -1
normalized size 1 1.00 0.20 1.17 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.131 0.129 1.242 0.000 0.000 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 66 509 0 0 0 0 -1
normalized size 1 1.00 1.25 9.60 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.088 0.223 1.013 0.000 0.864 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 66 658 0 0 0 0 -1
normalized size 1 1.00 0.20 2.04 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.204 0.265 0.909 0.000 0.000 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 84 523 0 0 0 0 -1
normalized size 1 1.00 0.88 5.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.141 0.363 1.008 0.000 1.346 0.000 0.000 0.000
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 57 54 0 88 0 0 125
normalized size 1 1.00 0.52 0.49 0.00 0.80 0.00 0.00 1.14
time (sec) N/A 0.154 0.288 1.097 0.000 2.421 0.000 0.000 3.695
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 119 542 0 0 0 0 -1
normalized size 1 1.00 0.88 4.01 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.200 1.459 1.226 0.000 1.160 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 45 42 0 59 0 0 70
normalized size 1 1.00 1.36 1.27 0.00 1.79 0.00 0.00 2.12
time (sec) N/A 0.053 0.136 1.097 0.000 0.858 0.000 0.000 1.294
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 105 286 0 0 0 0 -1
normalized size 1 1.00 1.07 2.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.148 0.827 1.193 0.000 0.723 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 327 199 959 0 0 0 0 -1
normalized size 1 1.00 0.61 2.93 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.215 0.672 1.139 0.000 0.000 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 84 193 0 0 0 0 -1
normalized size 1 1.00 0.91 2.10 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 0.658 1.225 0.000 1.215 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 223 520 0 0 0 0 -1
normalized size 1 1.00 0.69 1.61 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.213 2.019 0.988 0.000 0.000 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 89 220 0 0 0 0 -1
normalized size 1 1.00 0.66 1.63 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.207 0.573 0.882 0.000 0.978 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 371 371 246 548 0 0 0 0 -1
normalized size 1 1.00 0.66 1.48 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.297 2.283 0.848 0.000 0.000 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 45 42 0 67 0 0 93
normalized size 1 1.00 1.36 1.27 0.00 2.03 0.00 0.00 2.82
time (sec) N/A 0.054 0.162 1.112 0.000 4.016 0.000 0.000 1.762
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 101 977 0 0 0 0 -1
normalized size 1 1.00 0.75 7.24 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.202 1.772 1.206 0.000 1.032 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 329 329 55 1239 0 0 0 0 -1
normalized size 1 1.00 0.17 3.77 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.214 0.204 1.226 0.000 0.000 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 80 507 0 0 0 0 -1
normalized size 1 1.00 0.85 5.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.147 0.695 1.171 0.000 0.000 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 70 658 0 0 0 0 -1
normalized size 1 1.00 0.22 2.04 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.203 0.226 1.197 0.000 0.000 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 79 522 0 0 0 0 -1
normalized size 1 1.00 0.83 5.49 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.142 0.361 0.984 0.000 2.397 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 371 371 81 686 0 0 0 0 -1
normalized size 1 1.00 0.22 1.85 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.291 0.373 0.864 0.000 0.000 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 90 536 0 0 0 0 -1
normalized size 1 1.00 0.67 3.97 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.206 0.652 0.870 0.000 1.011 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 406 406 95 712 0 0 0 0 -1
normalized size 1 1.00 0.23 1.75 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.390 0.403 0.894 0.000 0.000 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 81 81 278 0 0 0 0 0 -1
normalized size 1 1.00 3.43 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.074 2.276 2.007 0.000 5.816 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 86 86 280 0 0 0 0 0 -1
normalized size 1 1.00 3.26 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.086 0.590 1.840 0.000 1.697 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 84 84 281 0 0 0 0 0 -1
normalized size 1 1.00 3.35 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 0.323 1.885 0.000 3.475 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 283 0 0 0 0 0 -1
normalized size 1 1.00 3.18 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 0.186 1.867 0.000 1.387 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 51 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.051 0.040 1.244 0.000 1.182 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 51 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.051 0.038 1.199 0.000 1.631 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 51 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.034 1.164 0.000 1.665 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 23 66 29 29 0 0 28
normalized size 1 1.00 0.96 2.75 1.21 1.21 0.00 0.00 1.17
time (sec) N/A 0.034 0.023 0.297 0.711 0.860 0.000 0.000 0.325
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 52 52 45 0 58 49 0 0 66
normalized size 1 1.00 0.87 0.00 1.12 0.94 0.00 0.00 1.27
time (sec) N/A 0.052 0.137 3.865 0.710 0.878 0.000 0.000 0.632
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 81 0 86 73 0 0 134
normalized size 1 1.00 1.04 0.00 1.10 0.94 0.00 0.00 1.72
time (sec) N/A 0.064 0.562 4.433 0.687 1.084 0.000 0.000 1.411
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 77 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.080 0.611 1.283 0.000 1.064 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 77 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.079 0.529 1.221 0.000 1.111 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 75 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 0.468 1.124 0.000 0.865 0.000 0.000 0.000
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 65 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.030 0.107 1.510 0.000 1.168 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 165 0 0 0 0 0 -1
normalized size 1 1.00 2.29 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.080 0.478 2.680 0.000 2.136 0.000 0.000 0.000
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 246 0 0 0 0 0 -1
normalized size 1 1.00 3.42 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.076 0.622 3.063 0.000 1.318 0.000 0.000 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 92 0 0 0 0 0 -1
normalized size 1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.115 1.888 0.886 0.000 1.616 0.000 0.000 0.000
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 90 0 0 0 0 0 -1
normalized size 1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 1.718 0.922 0.000 0.875 0.000 0.000 0.000
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 81 81 326 0 0 0 0 0 -1
normalized size 1 1.00 4.02 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 3.183 0.793 0.000 1.052 0.000 0.000 0.000
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 115 0 0 0 0 0 -1
normalized size 1 1.00 1.42 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 1.020 0.730 0.000 1.204 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [270] had the largest ratio of [.4400]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 1 1 1.00 6 0.167
2 A 2 2 1.00 8 0.250
3 A 2 2 1.00 8 0.250
4 A 2 1 1.00 8 0.125
5 A 3 2 1.00 8 0.250
6 A 2 1 1.00 8 0.125
7 A 4 2 1.00 8 0.250
8 A 2 1 1.00 8 0.125
9 A 4 3 1.00 10 0.300
10 A 3 3 1.00 10 0.300
11 A 3 3 1.00 10 0.300
12 A 2 2 1.00 10 0.200
13 A 2 2 1.00 10 0.200
14 A 3 3 1.00 10 0.300
15 A 3 3 1.00 10 0.300
16 A 4 3 1.00 10 0.300
17 A 4 3 1.00 12 0.250
18 A 3 3 1.00 12 0.250
19 A 3 3 1.00 12 0.250
20 A 2 2 1.00 12 0.167
21 A 2 2 1.00 12 0.167
22 A 3 3 1.00 12 0.250
23 A 3 3 1.00 12 0.250
24 A 4 3 1.00 12 0.250
25 A 2 2 1.00 10 0.200
26 A 2 2 1.00 10 0.200
27 A 2 2 1.00 10 0.200
28 A 2 2 1.00 10 0.200
29 A 2 2 1.00 10 0.200
30 A 2 2 1.00 10 0.200
31 A 2 2 1.00 12 0.167
32 A 2 2 1.00 12 0.167
33 A 2 2 1.00 12 0.167
34 A 2 2 1.00 12 0.167
35 A 2 2 1.00 12 0.167
36 A 2 2 1.00 12 0.167
37 A 2 2 1.00 8 0.250
38 A 2 2 1.00 10 0.200
39 A 5 3 1.00 8 0.375
40 A 4 3 1.00 8 0.375
41 A 3 3 1.00 8 0.375
42 A 2 2 1.00 8 0.250
43 A 2 2 1.00 8 0.250
44 A 3 3 1.00 8 0.375
45 A 4 3 1.00 8 0.375
46 A 5 3 1.00 8 0.375
47 A 6 4 1.00 10 0.400
48 A 5 4 1.00 10 0.400
49 A 4 4 1.00 10 0.400
50 A 3 3 1.00 10 0.300
51 A 2 2 1.00 10 0.200
52 A 3 3 1.00 10 0.300
53 A 4 3 1.00 10 0.300
54 A 5 3 1.00 10 0.300
55 A 7 4 1.00 10 0.400
56 A 5 4 1.00 10 0.400
57 A 4 4 1.00 10 0.400
58 A 4 4 1.00 10 0.400
59 A 5 4 1.00 10 0.400
60 A 7 4 1.00 10 0.400
61 A 3 2 1.00 10 0.200
62 A 3 2 1.00 10 0.200
63 A 3 2 1.00 10 0.200
64 A 3 3 1.00 10 0.300
65 A 3 3 1.00 10 0.300
66 A 5 3 1.00 10 0.300
67 A 7 3 1.00 10 0.300
68 A 3 3 1.00 12 0.250
69 A 3 3 1.00 14 0.214
70 A 5 4 1.00 21 0.190
71 A 5 4 1.00 21 0.190
72 A 4 4 1.00 21 0.190
73 A 4 4 1.00 19 0.210
74 A 2 2 1.00 12 0.167
75 A 3 3 1.00 19 0.158
76 A 4 4 1.00 21 0.190
77 A 4 4 1.00 21 0.190
78 A 5 4 1.00 21 0.190
79 A 5 4 1.00 21 0.190
80 A 5 4 1.00 21 0.190
81 A 5 4 1.00 21 0.190
82 A 4 4 1.00 19 0.210
83 A 3 3 1.00 12 0.250
84 A 3 3 1.00 19 0.158
85 A 3 3 1.00 21 0.143
86 A 4 4 1.00 21 0.190
87 A 4 4 1.00 21 0.190
88 A 5 4 1.00 21 0.190
89 A 5 4 1.00 21 0.190
90 A 5 4 1.00 21 0.190
91 A 5 4 1.00 19 0.210
92 A 3 3 1.00 12 0.250
93 A 4 4 1.00 19 0.210
94 A 3 3 1.00 21 0.143
95 A 3 3 1.00 21 0.143
96 A 4 4 1.00 21 0.190
97 A 4 4 1.00 21 0.190
98 A 5 4 1.00 21 0.190
99 A 5 4 1.00 21 0.190
100 A 4 3 1.00 12 0.250
101 A 5 4 1.00 21 0.190
102 A 5 4 1.00 21 0.190
103 A 4 4 1.00 21 0.190
104 A 4 4 1.00 21 0.190
105 A 3 3 1.00 19 0.158
106 A 2 2 1.00 12 0.167
107 A 4 4 1.00 19 0.210
108 A 4 4 1.00 21 0.190
109 A 5 4 1.00 21 0.190
110 A 5 4 1.00 21 0.190
111 A 5 4 1.00 21 0.190
112 A 5 4 1.00 21 0.190
113 A 4 4 1.00 21 0.190
114 A 4 4 1.00 21 0.190
115 A 3 3 1.00 21 0.143
116 A 3 3 1.00 19 0.158
117 A 3 3 1.00 12 0.250
118 A 4 4 1.00 19 0.210
119 A 5 4 1.00 21 0.190
120 A 5 4 1.00 21 0.190
121 A 5 4 1.00 21 0.190
122 A 5 4 1.00 21 0.190
123 A 4 4 1.00 21 0.190
124 A 4 4 1.00 21 0.190
125 A 3 3 1.00 21 0.143
126 A 3 3 1.00 21 0.143
127 A 4 4 1.00 19 0.210
128 A 3 3 1.00 12 0.250
129 A 5 4 1.00 19 0.210
130 A 5 4 1.00 21 0.190
131 A 4 3 1.00 12 0.250
132 A 4 3 1.00 23 0.130
133 A 3 2 1.00 23 0.087
134 A 3 3 1.00 23 0.130
135 A 3 3 1.00 23 0.130
136 A 2 2 1.00 23 0.087
137 A 2 2 1.00 23 0.087
138 A 2 2 1.00 23 0.087
139 A 3 3 1.00 23 0.130
140 A 3 2 1.00 23 0.087
141 A 4 3 1.00 23 0.130
142 A 4 3 1.00 23 0.130
143 A 3 2 1.00 23 0.087
144 A 3 3 1.00 23 0.130
145 A 3 3 1.00 23 0.130
146 A 2 2 1.00 23 0.087
147 A 2 2 1.00 23 0.087
148 A 2 2 1.00 23 0.087
149 A 3 3 1.00 23 0.130
150 A 3 2 1.00 23 0.087
151 A 4 3 1.00 23 0.130
152 A 3 2 1.00 23 0.087
153 A 3 2 1.00 23 0.087
154 A 3 3 1.00 23 0.130
155 A 3 3 1.00 23 0.130
156 A 2 2 1.00 23 0.087
157 A 2 2 1.00 23 0.087
158 A 2 2 1.00 23 0.087
159 A 3 3 1.00 23 0.130
160 A 3 2 1.00 23 0.087
161 A 3 3 1.00 23 0.130
162 A 3 3 1.00 23 0.130
163 A 2 2 1.00 23 0.087
164 A 2 2 1.00 23 0.087
165 A 2 2 1.00 23 0.087
166 A 3 3 1.00 23 0.130
167 A 3 2 1.00 23 0.087
168 A 3 3 1.00 23 0.130
169 A 3 3 1.00 23 0.130
170 A 2 2 1.00 23 0.087
171 A 2 2 1.00 23 0.087
172 A 2 2 1.00 23 0.087
173 A 3 3 1.00 23 0.130
174 A 3 2 1.00 23 0.087
175 A 4 3 1.00 23 0.130
176 A 3 3 1.00 23 0.130
177 A 3 3 1.00 23 0.130
178 A 2 2 1.00 23 0.087
179 A 2 2 1.00 23 0.087
180 A 2 2 1.00 23 0.087
181 A 3 3 1.00 23 0.130
182 A 3 2 1.00 23 0.087
183 A 4 3 1.00 23 0.130
184 A 3 3 1.00 21 0.143
185 A 3 3 1.00 19 0.158
186 A 2 2 1.00 12 0.167
187 A 3 3 1.00 19 0.158
188 A 3 3 1.00 21 0.143
189 A 3 3 1.00 21 0.143
190 A 3 3 1.00 19 0.158
191 A 2 2 1.00 12 0.167
192 A 3 3 1.00 19 0.158
193 A 3 3 1.00 21 0.143
194 A 3 3 1.00 21 0.143
195 A 3 3 1.00 19 0.158
196 A 2 2 1.00 12 0.167
197 A 3 3 1.00 19 0.158
198 A 3 3 1.00 21 0.143
199 A 3 3 1.00 21 0.143
200 A 3 3 1.00 19 0.158
201 A 2 2 1.00 12 0.167
202 A 3 3 1.00 19 0.158
203 A 3 3 1.00 21 0.143
204 A 3 3 1.00 21 0.143
205 A 3 3 1.00 21 0.143
206 A 3 3 1.00 21 0.143
207 A 3 3 1.00 21 0.143
208 A 3 3 1.00 21 0.143
209 A 3 3 1.00 21 0.143
210 A 3 3 1.00 19 0.158
211 A 3 3 1.00 19 0.158
212 A 3 3 1.00 17 0.176
213 A 2 2 1.00 10 0.200
214 A 3 3 1.00 17 0.176
215 A 3 3 1.00 19 0.158
216 A 3 3 1.00 19 0.158
217 A 3 3 1.00 21 0.143
218 A 3 3 1.00 21 0.143
219 A 3 3 1.00 21 0.143
220 A 3 3 1.00 21 0.143
221 A 3 3 1.00 21 0.143
222 A 3 3 1.00 21 0.143
223 A 2 2 1.00 19 0.105
224 A 2 2 1.00 19 0.105
225 A 2 2 1.00 19 0.105
226 A 2 2 1.00 19 0.105
227 A 2 2 1.00 19 0.105
228 A 3 2 1.00 21 0.095
229 A 3 2 1.00 21 0.095
230 A 5 4 1.00 25 0.160
231 A 2 2 1.00 25 0.080
232 A 4 4 1.00 25 0.160
233 A 1 1 1.00 25 0.040
234 A 3 3 1.00 25 0.120
235 A 12 9 1.00 25 0.360
236 A 4 4 1.00 25 0.160
237 A 13 10 1.00 25 0.400
238 A 3 2 1.00 25 0.080
239 A 6 5 1.00 25 0.200
240 A 2 2 1.00 25 0.080
241 A 5 5 1.00 25 0.200
242 A 1 1 1.00 25 0.040
243 A 4 4 1.00 25 0.160
244 A 13 10 1.00 25 0.400
245 A 4 4 1.00 25 0.160
246 A 6 5 1.00 25 0.200
247 A 3 3 1.00 25 0.120
248 A 5 5 1.00 25 0.200
249 A 2 2 1.00 25 0.080
250 A 4 4 1.00 25 0.160
251 A 1 1 1.00 25 0.040
252 A 4 4 1.00 25 0.160
253 A 13 10 1.00 25 0.400
254 A 2 2 1.00 25 0.080
255 A 5 4 1.00 25 0.160
256 A 1 1 1.00 25 0.040
257 A 4 4 1.00 25 0.160
258 A 12 9 1.00 25 0.360
259 A 3 3 1.00 25 0.120
260 A 13 10 1.00 25 0.400
261 A 4 4 1.00 25 0.160
262 A 3 3 1.00 25 0.120
263 A 5 5 1.00 25 0.200
264 A 1 1 1.00 25 0.040
265 A 4 4 1.00 25 0.160
266 A 13 10 1.00 25 0.400
267 A 4 4 1.00 25 0.160
268 A 13 10 1.00 25 0.400
269 A 5 5 1.00 25 0.200
270 A 14 11 1.00 25 0.440
271 A 1 1 1.00 25 0.040
272 A 5 5 1.00 25 0.200
273 A 13 10 1.00 25 0.400
274 A 4 4 1.00 25 0.160
275 A 13 10 1.00 25 0.400
276 A 4 4 1.00 25 0.160
277 A 14 11 1.00 25 0.440
278 A 5 5 1.00 25 0.200
279 A 15 11 1.00 25 0.440
280 A 2 2 1.00 17 0.118
281 A 2 2 1.00 19 0.105
282 A 2 2 1.00 19 0.105
283 A 2 2 1.00 21 0.095
284 A 2 2 1.00 19 0.105
285 A 2 2 1.00 19 0.105
286 A 2 2 1.00 17 0.118
287 A 2 2 1.00 17 0.118
288 A 3 2 1.00 19 0.105
289 A 3 2 1.00 19 0.105
290 A 2 2 1.00 19 0.105
291 A 2 2 1.00 19 0.105
292 A 2 2 1.00 19 0.105
293 A 2 2 1.00 10 0.200
294 A 2 2 1.00 19 0.105
295 A 2 2 1.00 19 0.105
296 A 2 2 1.00 23 0.087
297 A 2 2 1.00 23 0.087
298 A 2 2 1.00 23 0.087
299 A 2 2 1.00 23 0.087

[next] [prev] [prev-tail] [front] [up]